What has Become of Them?
Synthese Library > Logicism, Intuitionism, and Formalism > Formalism > 449-483